
% Thesis Abstract -----------------------------------------------------


%\begin{abstractslong}    %uncommenting this line, gives a different abstract heading
\begin{abstracts}        %this creates the heading for the abstract page

Работы занимает 46 страниц, количество рисунков 1, количество таблиц 0.\\
\\
Мотивацией для данного исследования послужила идея изучения эффекта наиболее общего типа в различных системах, таких как $\lambda$$\to$ и System F.  \\
Основная идея исследования — сформулировать условия изменения наиболее общего типа. \\
Во время этого исследования были изучены и реализованы алгоритмы редукции и унификации для таких систем как $\lambda$$\to$ и System F. Помимо этого реализован алгоритм построения дерева изменения типа. \\
Так же были получены несколько причин изменения наиболее общего типа. К примеру, при рассмотрении $\lambda$$\to$ было показано что изменение типа происходит когда при редукции одно из уравнений на типы исчезает. \\

\end{abstracts}
%\end{abstractlongs}


% ----------------------------------------------------------------------


%%% Local Variables: 
%%% mode: latex
%%% TeX-master: "../thesis"
%%% End: 
